Nuprl Lemma : subtype_top
4,23
postcript
pdf
T
:Type.
T
Top
latex
Definitions
S
T
,
x
:
A
.
B
(
x
)
,
Top
,
t
T
origin
T:Type. T 
Top T:Type. T Top Tx:A. B(x)
T